Elementos fundamentales de los lenguajes del computador

El presente trabajo, tiene como objetivo el estudio de los lenguajes de programación y modelamiento de software. No siendo posible estudiar cada uno de los lenguajes de forma particular (lo que tomaría años) se ha optado por llevar a cabo un estudio comparativo de los lenguajes con base en el reconocimiento de sus elementos comunes y de sus diferencias. A este fin se ha efectuado un reconocimiento de los principales componentes de los lenguajes, vistos como unidades discretas (v.g. sus “tipos de dato”, “operadores”, “literales”, “instrucciones”, “construcciones visuales”, etc..) y a ellos se les ha asociado uno o varios “significados”. Estos significados conforman los “elementos fundamentales” de los lenguajes. La multiplicidad de los lenguajes es manejada, por este mecanismo, proyectando los múltiples componentes de los lenguajes, a un conjunto mucho mas reducido de elementos. Así pues, múltiples componentes de uno o varios lenguajes significarán lo mismo (tendrán igual “semántica”), y un elemento de significado podrá ser expresado de múltiples maneras (adoptará formas diferentes bajo diferentes “sintaxis”) . La expectativa de esta manera de abordar el problema, es la de que, con el estudio de un conjunto relativamente pequeño de elementos fundamentales, el lector pueda “entender” una gama muy amplia de lenguajes de programación. Entendiendo por “entender el lenguaje” como el tener la capacidad de utilizar estos lenguajes para crear programas, luego de un estudio relativamente corto de las formas sintácticas con que se expresan los elementos fundamentales que lo conforman. Esto presupone que la escritura de los programas se basa es en el conocimiento y manipulación de los elementos fundamentales (y de su significado frente al problema que se quiere resolver ), mas bien que en la manipulación de las formas sintácticas que dichos elementos toman en un lenguaje particular. La búsqueda de los “elementos fundamentales de los lenguajes”, ha conducido a una concepción muy simplificada de los lenguajes en conjunto, en la que una serie de principios básicos cognitivos (“agregación”, “modularización”, ”relación”, “definición” y “abstracción”), orientan la definición de un conjunto de construcciones de los lenguajes (“términos”, “instrucciones”, “aserciones”, “procedures”, “subroutinas”, “construcciones visuales”, “estructuras de datos”, “relaciones”, “objetos” etc..), que tienen, o implementan, uno o varios significados definidos. El significado de estas construcciones se relaciona con la necesidad de proveer mecanismos para que, a partir de unos operadores, datos y tipos elementales, el usuario del lenguaje pueda construir operadores, datos y tipos mas complejos. El estudio de estos significados y las construcciones que los implementan, constituye el objeto de estudio del trabajo. La estructura del trabajo se ajusta, además, a la idea que el autor tiene, en el momento, de dichos elementos fundamentales. La Parte I, presenta los conceptos básicos del trabajo. La parte II, presenta un conjunto de operadores básicos, situándose en el nivel de los lenguajes de 3ª generación. La Parte III, presenta las construcciones para definir operadores complejos. La Parte IV, presenta las construcciones para definir operandos complejos. Y la Parte V, presenta las construcciones para definir tipos complejos. A continuación se indica la estructura y contenido de las diferentes partes del trabaj

Trayectorias con ruta predefinida en una bodega de datos: un caso de estudio sobre transporte público

Hoy, gracias a los sistemas de posicionamiento global y dispositivos móviles equipados con sensores se puede capturar información acerca de la trayectoria seguida por objetos móviles tales como personas, animales, vehículos, entre otros. En este artículo se examinan en particular las trayectorias seguidas por objetos móviles en una ruta predefinida, por ejemplo un sistema de transporte público en el que los vehículos deben recorrer una ruta preestablecida. Se presenta un caso de estudio donde este tipo de trayectorias se incorporan como un sujeto de análisis en una bodega de datos

Los modelos verbales en lenguaje natural y su utilización en la elaboración de esquemas conceptuales para el desarrollo de software: una revisión crítica

El desarrollo de software inicia con una serie de entrevistas realizadas a los usuarios potenciales con el fin de determinar los requisitos del software; como resultado de las entrevistas se obtienen modelos verbales en lenguaje natural. A partir de los modelos verbales es posible construir esquemas conceptuales, que son diagramas que permiten representar gráficamente los datos y funciones asociados con el problema para realizar el desarrollo del software. En este artículo se compendian los trabajos que en esta materia se han adelantado a nivel mundial, realizando un análisis de los posibles tópicos de investigación a partir de los problemas no resueltos

Unc-method: un método de desarrollo de software basado en problemas

Los ingenieros de software emplean los métodos de desarrollo para garantizar la entrega puntual, el cumplimiento de los presu-puestos y la calidad de las aplicaciones de software. Existen dos tipos de métodos de desarrollo: los dirigidos por planes, y los á-giles. Ambos, aún presentan problemas: se refieren a la solución en lugar de pensar en el problema, usan artefactos formales o semiformales y dejan el manejo de la consistencia en manos de los analistas. En este artículo se define UNC-Method, un méto-do de desarrollo de software basado en problemas, que se viene desarrollando en la Universidad Nacional de Colombia y que se usa en la Escuela de Sistemas como parte del entrenamiento en desarrollo metodológico de software a los estudiantes de di-cha universidad durante los últimos cinco años. UNC-Method combina artefactos tradicionales del desarrollo de software (como los diagramas de UML y las interfaces gráficas de usuario) con enfoques no tradicionales en dicha disciplina (como los diagra-mas causa-efecto, los diagramas de objetivos de KAOS y los esquemas preconceptuales) en un esfuerzo por resolver los proble-mas antes mencionados. Además, se ejemplifica el método con un caso de estudio.Software engineers use development methods to guarantee on-time delivery, keeping to budget and quality in their software applications. There are two kinds of development methods: plan-driven and agile methods. Both of them still have problems; these refer to resolving problems instead of thinking about them, they use informal or semi-formal artefacts and they leave consis-tency management to the analysts. The UNC-method (a problem-based software development method) is defined in this paper. The UNC-method is currently being developed in the Universidad Nacional de Colombia; it has been used by students from the School of Systems as part of their training in methodological software development during the last five years. The UNC-method is a mixture of well-known artefacts (i.e. UML diagrams and graphical user interfaces) and non-traditional approaches (e.g. cause-and-effect diagram, KAOS goal diagrams and pre-conceptual schemas) used in trying to overcome the aforementioned pro-blems. A case study is also used for exemplification purposes

Los modelos verbales en lenguaje natural y su utilización en la elaboración de esquemas conceptuales para el desarrollo de software: una revisión crítica

Software development begins with a series of interviews to potential users with the purpose of determining the software requirements; as a result of the interviews yield verbal models in natural language. Based on the verbal models, conceptual frameworks can be designed. These are diagrams that allow graphic data and functions related to the problem to develop software. This article covers worldwide work carried out in this field, with an analysis of the possible research topics based on the unsolved problems.El desarrollo de software inicia con una serie de entrevistas realizadas a los usuarios potenciales con el fin de determinar los requisitos del software; como resultado de las entrevistas se obtienen modelos verbales en lenguaje natural. A partir de los modelos verbales es posible construir esquemas conceptuales, que son diagramas que permiten representar gráficamente los datos y funciones asociados con el problema para realizar el desarrollo del software. En este artículo se compendian los trabajos que en esta materia se han adelantado a nivel mundial, realizando un análisis de los posibles tópicos de investigación a partir de los problemas no resueltos

A novel case tool based on pre-conceptual schemas for automatically obtaining uml diagrams

Assistance is provided, in software development process, to Analysts in drawing UML diagrams and others by means of CASE tools. However, the task of the Stakeholder discourse understanding, a previous process in diagram drawing, is not supported by traditional CASE tools. In order to complete this task, Natural Language Processing has proposed a new kind of CASE tools, including both natural language interpretation and UML diagrams generation. We introduce, in this paper, UNC–Diagrammer, a novel CASE tool for graphically representing the Stakeholder discourse by means of Preconceptual Schemas. We also show that UNC-Diagrammer is capable of automatically transforming Pre-conceptual Schemas into three UML 2.0 diagrams. We finally demonstrate the use of UNC–Diagrammer through an example

Un método para el refinamiento interactivo del diagrama de clases de uml

Durante el proceso de elicitacion de requisitos se presentan problemas de comunicación entre analistas e interesados que suelen ocasionar perdidas de requisitos funcionales. Estas perdidas se aminoran mediante el refinamiento de los esquemas conceptuales, en particular el diagrama de clases de UML. Existen algunos acercamientos al refinamiento del diagrama de clases, pero que no realizan ciclos de interacción con el interesado; otros enfoques realizan refinamiento interactivo del diagrama entidad-relación, un diagrama que no posee toda la información contenida en el diagrama de clases. En este articulo se realiza el refinamiento del diagrama de clases de UML mediante la interacción con el interesado. Para ello, se proponen reglas de completitud que se disparan en lenguaje natural y se emplea un corpus de diagramas de clases para complementar el conocimiento del analista en un determinado dominio. El análisis de completitud propuesto se ilustra con un prototipo en la herramienta UNCDiagramador y se ejemplifica con un caso de estudio

Conversión de esquemas preconceptuales a diagrama de casos de uso empleando atom3

El diagrama de casos de uso describe las interacciones entre un usuario y una pieza de software. Se han realizado algunos trabajos que buscan la generación automática o semiautomática del diagrama de casos de uso desde descripciones en lenguajes naturales o controlados. Sin embargo, estos esfuerzos no han sido suficientes porque algunos parten de un lenguaje controlado orientado a la solución, la cual no existe en las etapas iniciales del ciclo de vida del software; otros trabajos requieren una alta intervención del analista para la generación del diagrama, lo cual es altamente inconveniente si se trata de automatizar el proceso; finalmente, no se identifican todos los elementos del diagrama de casos de uso, en particular las relaciones especiales (, e ). En este artículo se define un método basado en reglas heurísticas que permite identificar los actores, los casos de uso y las relaciones especiales del diagrama de casos de uso, tomando como punto de partida una representación en lenguaje controlado del dominio del problema: los denominados esquemas preconceptuales. Además, se realiza la implementación de estas heurísticas en la herramienta metaCASE AToM3 y se ejemplifica con un caso de estudio

A proposal for supporting text interpretation process by means of NLP and Software Engineering Techniques

RESUMEN: En este artículo, se presenta una propuesta para la asistencia al proceso de interpretación de textos. La propuesta, se basa en la generación automática, a partir del texto, de un esquema conceptual utilizado en ingeniería de software llamado diagrama Entidad Relación (ER). Además, se muestra la utilidad del diagrama ER en el proceso de interpretación de textos, así como las técnicas de Procesamiento de lenguaje natural y de Ingeniería de Software que se utilizan para su derivación automática. Los resultados obtenidos, muestran cómo el diagrama ER puede ser una valiosa herramienta de apoyo al proceso de interpretación, gracias a las inferencias que, de manera automática, se realizan a través de él. Este trabajo es uno de los resultados obtenidos en la investigación de Maestría: “Método par a el reconocimiento de operaciones del diagrama de clases a partir de grafos conceptuales” culminada en la Universidad Nacional de Colombia bajo la tutoría del Grupo de Investigación en Ingeniería de Software

Análisis de un caso de estudio en KCPM para la generación de diagramas de clases

RESUMEN: La generación semiautomática de esquemas conceptuales (especialmente diagramas de clases) a partir de modelos verbales, ha sido abordada con alguna profundidad para idiomas como el inglés, francés y alemán, entre otros; no obstante, se han realizado pocas propuestas para el idioma español son sólo incipientes. En este artículo se discute la generación del diagrama de clases usando el método KCPM (Klagenfurt Conceptual Predesign Model) a partir de un modelo verbal en idioma español, el cual se aplica a un caso de estudio; se propone adicionalmente la utilización de árboles sintácticos clásicos, para mejorar la legibilidad del análisis sintáctico, y la adición de una columna en el esquema KCPM para incluir el rol temático asumido, para facilitar la aplicación de las reglas de conversión. Los resultados obtenidos muestran las bondades de las modificaciones propuestas, e incentivan la realización de nuevas investigaciones sobre esta temática.ABSTRACT: There are few and incipient proposals about semi-automatic generation of conceptual schemas (specially class diagram) from Spanish verbal models. However, for other languages like English, French and German, among others, there are more experience. In this paper, we discuss class diagram generation based on KCPM (Klagenfurt Conceptual Predesign Model), from Spanish, and we apply it to a case study; furthermore, we propose the use of classic syntactic trees, for syntactic analysis legibility purposes, and we add an additional column to KCPM schema for assumed thematic role inclusion, for facilitating conversion rules applying. Obtained results show the goodness of proposed modifications, and promote new research about this topic